Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
551	Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-05-07 20:34:22 Model theory Formal languages Constraint programming Logical syntax Interpretation Constructible universe Well-formed formula Satisfiability Function Logic Mathematics Mathematical logic
552	Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:05:30 Cross-platform software Model checkers Functional languages Lisp programming language Programming paradigms Promela Model checking Java Pathfinder Common Lisp Computing Software engineering Computer programming
553	A Linear Encoding of Pushdown Control-Flow Analysis Steven Lyde Thomas Gilray ∗ Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:30 Logic Mathematics Metaphilosophy Formal languages Metalogic Model theory Structure
554	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
555	Confluence Analysis for Distributed Programs: A Model-Theoretic Approach William R. Marczak1 , Peter Alvaro1 , Neil Conway1 , Joseph M. Hellerstein1 , and David Maier2 1 Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-09-05 02:41:30 Linguistics Logic programming Model theory Formal languages Stable model semantics Schema Interpretation Negation Semantics Logic Mathematical logic
556	What’s Wrong with Economic Models? Michael Woodford Columbia University October 3, 2011 John Kay’s thought-provoking essay argues that economists have been led astray by excessive reliance on formal models derived f Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2011-10-10 18:55:55 New classical macroeconomics New Keynesian economics Rational choice theory Rational expectations Macroeconomic model Economic model Dynamic stochastic general equilibrium Rationality Policy analysis Macroeconomics Economics Economic theories
557	A PROBABILISTIC POLYNOMIAL-TIME PROCESS CALCULUS FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS JOHN C. MITCHELL, AJITH RAMANATHAN, ANDRE SCEDROV, AND VANESSA TEAGUE Abstract. We prove properties of a process calculus that Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:35:24 Formal methods Computability theory Lambda calculus Polynomial Π-calculus IP Process calculus Function PP Theoretical computer science Mathematics Applied mathematics
558	Microsoft Word - Falk Schreiber.docx Add to Reading List Source URL: bioinformatics.org.au Language: English - Date: 2014-04-02 20:04:32 Epistemology Science Data analysis Philosophy of science Formal sciences Bioengineering Bioinformatics Interpretation Scientific modelling Metabolism
559	Big Data for Development: Challenges & Opportunities May 2012 Add to Reading List Source URL: www.unsiap.or.jp Language: English - Date: 2014-12-30 02:40:12 Business intelligence Data analysis Data mining Big data Mobile banking Analytics Internet Mobile business intelligence MHealth Technology Formal sciences Science
560	a jStart™ business scenario measuring social sentiment for government initiatives Add to Reading List Source URL: www-01.ibm.com Language: English - Date: 2014-11-20 11:27:30 Formal sciences Cloud infrastructure Data analysis Natural language processing Statistical natural language processing IBM Text analytics Analytics Apache Hadoop Technology Computing Data management

UPDATE